Machines in a category
نویسندگان
چکیده
منابع مشابه
Synchronous Machines: a Traced Category
Synchronous programming languages have been extensively used in the area of critical embedded systems. Synchronous machines, a specific class of labelled transition systems, are often used to give denotational semantics of these languages. In this work, we study the categorical structure of the aforementioned machines. We first show that the category S of synchronous machines can be given a tra...
متن کاملInjectivity in a category: an overview on smallness conditions
Some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness. In this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by Bernhard Banaschewski and W...
متن کاملMulti-category Support Vector Machines, Feature Selection and Solution Path
Abstract: Support Vector Machines (SVMs) have proven to deliver high performance. However, problems remain with respect to feature selection in multicategory classification. In this article, we propose an algorithm to compute an entire regularization solution path for adaptive feature selection via L1-norm penalized multi-category MSVM (L1MSVM). The advantages of this algorithm are three-fold. ...
متن کاملA Comparative Study of Extreme Learning Machines and Support Vector Machines in Prediction of Sediment Transport in Open Channels
The limiting velocity in open channels to prevent long-term sedimentation is predicted in this paper using a powerful soft computing technique known as Extreme Learning Machines (ELM). The ELM is a single Layer Feed-forward Neural Network (SLFNN) with a high level of training speed. The dimensionless parameter of limiting velocity which is known as the densimetric Froude number (Fr) is predicte...
متن کاملA Near Optimal Approach in Choosing The Appropriate Physical Machines for Live Virtual Machines Migration in Cloud Computing
Migration of Virtual Machine (VM) is a critical challenge in cloud computing. The process to move VMs or applications from one Physical Machine (PM) to another is known as VM migration. In VM migration several issues should be considered. One of the major issues in VM migration problem is selecting an appropriate PM as a destination for a migrating VM. To face this issue, several approaches are...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1980
ISSN: 0022-4049
DOI: 10.1016/0022-4049(80)90090-0